1. 由定理 3.4.2 及上述引理 1 即得.

2.1 时, 由引理 2 即得.

2.2 时, 由 C-K 方程,

从而得证.

3. 由定理 3.3.2 推论 1 即得.

证毕.